

import org.jcsp.lang.*;


class ForkChannel extends Any2OneCallChannel implements ForkReport {

	private static final long serialVersionUID = 5527154938809016344L;

public void forkUp (int id, int philId) {
    join ();                                       // ready to make the CALL
    ((ForkReport) server).forkUp (id, philId);
    fork ();                                       // call finished
  }

  public void forkDown (int id, int philId) {
    join ();                                       // ready to make the CALL
    ((ForkReport) server).forkDown (id, philId);
    fork ();                                       // call finished
  }

}

